الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-3-540-31969-6
Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

اقرأ المزيد
978-3-540-33854-3
Verifying Treaty Compliance

International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2